Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
851	Proceedings of the IEEE, Vol. 91, No. 7, July[removed]Computational Techniques for the Verification of Hybrid Systems Claire J. Tomlin∗ Ian Mitchell†. Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:53 Systems theory Mathematics Mathematical analysis Automata theory Dynamical systems Hybrid automaton Hybrid system State variable Continuous function Control theory Differential equations Science
852	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-03-30 23:55:59 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
853	An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science
854	Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design∗ Meeko Oishi1 , Ian Mitchell2 , Alexandre Bayen3 , Claire Tomlin4 1 American Institute of Biological Sciences, Washington, DC, Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:02:35 Hybrid system State space Science Abstraction Automata theory Mathematics Control theory Differential equations Systems theory
855	Extended Path Expressions for XML [Extended Abstract] Makoto Murata IBM Tokyo Research Lab/IUJ Research Institute[removed], Shimotsuruma, Yamato-shi, Kanagawa-ken[removed], Japan Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2001-03-17 13:19:01 Computing Tree automaton Regular expression Hedge Finite-state machine Binary tree Automata theory Theoretical computer science Computer science
856	#!/usr/bin/env ghc[removed]the following error-provable roman czyborra space thesis ©©-by-sa [removed[removed]expresses that ‫ אל‬nature is governed by one tiny deterministic lex radicalis Add to Reading List Source URL: czyborra.com Language: English - Date: 2013-11-15 05:36:17 Physics Systems theory Theory of computation Cellular automaton A New Kind of Science Digital physics Stephen Wolfram Rule 110 Calculating Space Wolfram Research Cellular automata Science
857	HOUSING ELEMENT REVIEW WORKSHEET Locality ________________________________ HCD Received Date ___/___/___ Draft Adopted Add to Reading List Source URL: www.hcd.ca.gov Language: English - Date: 2014-07-24 15:56:18 Pattern matching Regular expression Public housing Water Software engineering Matter Chemistry Automata theory
858	® THE LANGUAGE ARTS MAGAZINE Name: ________________________________________________________ Date: ______________ Add to Reading List Source URL: scope.scholastic.com Language: English - Date: 2013-09-13 13:14:53 Automaton Robotics Hugo Technology Automata theory Film Ancient Greek technology Automation
859	ACT/SAT English, Developmental English, & Reading Course Placement Scores PLACEMENT TESTS ACT English EAEN Add to Reading List Source URL: www.uaf.edu Language: English - Date: 2011-07-14 20:48:16 Automata theory DEVS SAT ACT Knowledge Test Education Evaluation Standardized tests
860	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.megagod.net Language: English - Date: 2014-07-22 06:31:00 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory

UPDATE